Theorems on Primitive Roots